perm filename 200000[1,3] blob sn#127982 filedate 1974-11-05 generic text, type T, neo UTF8
NIL 


(DEFPROP SIZE
 (LAMBDA (X) (COND ((ATOM X) 1) (T (PLUS (SIZE (CAR X)) (SIZE (CDR X))))))
EXPR)

NIL